#ifndef CONVERTER_H
#define CONVERTER_H

#include "../data.h"
#include "../boolean.h"
#include<string.h>
#include<stdlib.h>
#include<stdio.h>

boolean flag,ada;
int freef,freec,changeid,tact;
char* aktif[MaxCol];

void implication(address X);
void negation(address X, address* parent);
void standardize(address X);
void existential(address *X);
void all_out(address *X);
void distribution(address X);
void clausalform(address X);
void convert();

#endif
